found: 1 books

 
Back, R.J.R.
Correctness preserving program refinements: Proof theory and applications
Mathematisch Centrum 1980 sewed, 118 pp. Mathematical Centre Tracts nr 131 ISBN (9061962072) (code Sc-51)
Moby DickProfessional seller
Book number: 232958
€  12.00 [Appr.: US$ 12.95 | £UK 10.25 | JP¥ 2032]
Catalogue: Science
Keywords: mathematics
Add to shopping cart More information
  
Add to shopping cart More information

| Pages: 1 |

New search  -   Edit search